machine run time - Spanisch Englisch Wörterbuch